Variable Petri Nets for Mobility

Timed Mobility in process algebra and Petri nets

Bigraphs for Petri Nets

A simple example is given of the use of bigraphical reactive systems (BRSs). It provides a behavioural semantics for condition-event Petri nets whose interfaces are named condition nodes, using a simple form of BRS equipped with a labelled transition system and its associated bisimilarity equivalence. Both of the latter are derived from the standard net firing rules by a uniform technique in bi...

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

Petri nets

P e t r i n e t s of fer a v e r s a t i l e m o d e l i n g f r a m e w o r k for c o m p l e x , d i s t r i b u t e d , c o n c u r r e n t s y s t e m s a n d h a v e b e e n u s e d in a w i d e r a n g e o f m o d e l i n g a p p l i c a t i o n s . T h e f i r s t p a r t o f t h i s t w o p a r t a r t i c l e p r o v i d e s a n o v e r v i e w o f P e t r i n e t s a n d p r e s e n t...

Petri Nets

Petri nets were introduced in 1962 by Dr. Carl Adam Petri (Petri 1962). Petri nets are a powerful modeling formalism in computer science, system engineering and many other disciplines. Petri nets combine a well defined mathematical theory with a graphical representation of the dynamic behavior of systems. The theoretic aspect of Petri nets allow precise modeling and analysis of system behavior,...